kernel/proc/spinlock.o: kernel/proc/spinlock.c kernel/proc/spinlock.h \
 kernel/proc/../../include/types.h kernel/proc/../../include/riscv.h \
 kernel/proc/../../include/types.h kernel/proc/../boot/printf.h \
 kernel/proc/../boot/../../include/types.h
